Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification

机译：VANET中拥塞控制算法的形式验证

机译：VANET中的一种协作式拥塞控制方法：形式验证和性能评估

机译：VANET中的协作拥塞控制方法：形式验证和性能评估

机译：通过概率验证对VANET拥塞控制协议进行形式化分析

机译：存在模型不确定性的概率系统的验证和最优控制的正式技术。

机译：分布式传输功率控制，用于VANET中的通信拥塞控制和感知增强

机译：使用形式方法验证Vanets中的拥塞控制协议

机译：验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法，以及具有验证支持设备的正式验证设备

机译：基于神经网络模型的增强学习的叶片分布式拥塞控制方法和装置

机译：提供程序分析/验证服务的系统，控制系统的方法，计算机可读存储介质，用于程序分析/验证的设备，用于控制程序分析/验证的设备